#include<stdio.h>

int main()
{
	int NS=0,MS=0,FS=0;
	float a;
	scanf("%d%d%d",&NS,&MS,&FS);
	a=0.1*NS+0.2*MS+0.7*FS;
	printf("%0.1f",a);
	return 0;
}
